node(1).
node(2).
node(3).
node(4).
node(5).
node(6).
node(7).
node(8).
node(9).
node(10).
node(11).
node(12).
node(13).
node(14).
node(15).
node(16).
node(17).
node(18).
node(19).
node(20).
node(21).
node(22).
node(23).
node(24).
node(25).
node(26).
node(27).
node(28).
node(29).
node(30).
node(31).
node(32).
node(33).
node(34).
node(35).
node(36).
node(37).
node(38).
node(39).
node(40).
node(41).
node(42).
node(43).
node(44).
node(45).
node(46).
node(47).
node(48).
node(49).
node(50).
node(51).
node(52).
node(53).
node(54).
node(55).
node(56).
node(57).
node(58).
node(59).
node(60).
node(61).
node(62).
node(63).
node(64).
node(65).
node(66).
node(67).
node(68).
node(69).
node(70).
node(71).
node(72).
node(73).
node(74).
node(75).
node(76).
node(77).
node(78).
node(79).
node(80).
node(81).
node(82).
node(83).
node(84).
node(85).
node(86).
node(87).
node(88).
node(89).
node(90).
node(91).
node(92).
node(93).
node(94).
node(95).
node(96).
node(97).
node(98).
node(99).
node(100).
node(101).
node(102).
node(103).
node(104).
node(105).
node(106).
node(107).
node(108).
node(109).
node(110).
node(111).
node(112).
node(113).
node(114).
node(115).
node(116).
node(117).
node(118).
node(119).
node(120).
node(121).
node(122).
node(123).
node(124).
node(125).
node(126).
node(127).
node(128).
node(129).
node(130).
node(131).
node(132).
node(133).
node(134).
node(135).
node(136).
node(137).
node(138).
node(139).
node(140).
link(1,9) :- #0.758.
link(9,1) :- #0.571.
link(1,41) :- #0.298.
link(41,1) :- #0.742.
link(1,50) :- #0.266.
link(50,1) :- #0.679.
link(1,59) :- #0.568.
link(59,1) :- #0.57.
link(1,60) :- #0.312.
link(60,1) :- #0.563.
link(1,74) :- #0.587.
link(74,1) :- #0.264.
link(1,81) :- #0.055.
link(81,1) :- #0.186.
link(1,94) :- #0.799.
link(94,1) :- #0.989.
link(1,106) :- #0.821.
link(106,1) :- #0.108.
link(1,136) :- #0.489.
link(136,1) :- #0.229.
link(2,23) :- #0.324.
link(23,2) :- #0.166.
link(2,24) :- #0.981.
link(24,2) :- #0.868.
link(2,25) :- #0.257.
link(25,2) :- #0.736.
link(2,31) :- #0.737.
link(31,2) :- #0.04.
link(2,38) :- #0.965.
link(38,2) :- #0.749.
link(2,39) :- #0.049.
link(39,2) :- #0.044.
link(2,52) :- #0.02.
link(52,2) :- #0.411.
link(2,71) :- #0.524.
link(71,2) :- #0.921.
link(2,76) :- #0.799.
link(76,2) :- #0.89.
link(2,78) :- #0.823.
link(78,2) :- #0.971.
link(2,84) :- #0.114.
link(84,2) :- #0.602.
link(2,88) :- #0.577.
link(88,2) :- #0.457.
link(2,99) :- #0.699.
link(99,2) :- #0.915.
link(2,100) :- #0.188.
link(100,2) :- #0.458.
link(2,121) :- #0.917.
link(121,2) :- #0.975.
link(3,14) :- #0.455.
link(14,3) :- #0.805.
link(3,15) :- #0.372.
link(15,3) :- #0.361.
link(3,16) :- #0.87.
link(16,3) :- #0.648.
link(3,45) :- #0.65.
link(45,3) :- #0.646.
link(3,46) :- #0.826.
link(46,3) :- #0.516.
link(3,56) :- #0.042.
link(56,3) :- #0.843.
link(3,74) :- #0.301.
link(74,3) :- #0.281.
link(3,76) :- #0.628.
link(76,3) :- #0.717.
link(3,77) :- #0.17.
link(77,3) :- #0.621.
link(3,78) :- #0.346.
link(78,3) :- #0.926.
link(3,83) :- #0.87.
link(83,3) :- #0.12.
link(3,90) :- #0.851.
link(90,3) :- #0.805.
link(3,100) :- #0.649.
link(100,3) :- #0.89.
link(3,126) :- #0.801.
link(126,3) :- #0.044.
link(4,5) :- #0.902.
link(5,4) :- #0.353.
link(4,40) :- #0.279.
link(40,4) :- #0.574.
link(4,42) :- #0.846.
link(42,4) :- #0.927.
link(4,52) :- #0.073.
link(52,4) :- #0.267.
link(4,54) :- #0.857.
link(54,4) :- #0.639.
link(4,61) :- #0.412.
link(61,4) :- #0.88.
link(4,62) :- #0.708.
link(62,4) :- #0.088.
link(4,63) :- #0.123.
link(63,4) :- #0.38.
link(4,67) :- #0.58.
link(67,4) :- #0.466.
link(4,68) :- #0.416.
link(68,4) :- #0.979.
link(4,73) :- #0.304.
link(73,4) :- #0.042.
link(4,83) :- #0.013.
link(83,4) :- #0.049.
link(4,94) :- #0.907.
link(94,4) :- #0.432.
link(4,103) :- #0.107.
link(103,4) :- #0.383.
link(4,106) :- #0.93.
link(106,4) :- #0.139.
link(4,113) :- #0.788.
link(113,4) :- #0.05.
link(4,118) :- #0.566.
link(118,4) :- #0.071.
link(4,126) :- #0.543.
link(126,4) :- #0.406.
link(4,129) :- #0.71.
link(129,4) :- #0.7.
link(5,10) :- #0.403.
link(10,5) :- #0.458.
link(5,35) :- #0.121.
link(35,5) :- #0.913.
link(5,36) :- #0.855.
link(36,5) :- #0.112.
link(5,38) :- #0.063.
link(38,5) :- #0.717.
link(5,50) :- #0.071.
link(50,5) :- #0.414.
link(5,78) :- #0.633.
link(78,5) :- #0.511.
link(5,84) :- #0.216.
link(84,5) :- #0.366.
link(5,107) :- #0.324.
link(107,5) :- #0.456.
link(5,114) :- #0.794.
link(114,5) :- #0.589.
link(5,122) :- #0.847.
link(122,5) :- #0.268.
link(5,128) :- #0.511.
link(128,5) :- #0.993.
link(5,129) :- #0.366.
link(129,5) :- #0.921.
link(6,8) :- #0.067.
link(8,6) :- #0.753.
link(6,11) :- #0.955.
link(11,6) :- #0.063.
link(6,14) :- #0.37.
link(14,6) :- #0.529.
link(6,20) :- #0.274.
link(20,6) :- #0.186.
link(6,25) :- #0.926.
link(25,6) :- #0.908.
link(6,29) :- #0.408.
link(29,6) :- #0.805.
link(6,46) :- #0.705.
link(46,6) :- #0.962.
link(6,51) :- #0.011.
link(51,6) :- #0.131.
link(6,69) :- #0.557.
link(69,6) :- #0.307.
link(6,80) :- #0.837.
link(80,6) :- #0.259.
link(6,81) :- #0.795.
link(81,6) :- #0.882.
link(6,88) :- #0.537.
link(88,6) :- #0.23.
link(6,106) :- #0.684.
link(106,6) :- #0.274.
link(6,124) :- #0.862.
link(124,6) :- #0.707.
link(6,127) :- #0.257.
link(127,6) :- #0.934.
link(6,128) :- #0.016.
link(128,6) :- #0.64.
link(6,131) :- #0.802.
link(131,6) :- #0.2.
link(6,136) :- #0.451.
link(136,6) :- #0.274.
link(7,13) :- #0.953.
link(13,7) :- #0.077.
link(7,15) :- #0.606.
link(15,7) :- #0.
link(7,20) :- #0.135.
link(20,7) :- #0.22.
link(7,25) :- #0.564.
link(25,7) :- #0.039.
link(7,26) :- #0.996.
link(26,7) :- #0.138.
link(7,50) :- #0.813.
link(50,7) :- #0.011.
link(7,66) :- #0.875.
link(66,7) :- #0.086.
link(7,71) :- #0.97.
link(71,7) :- #0.353.
link(7,90) :- #0.548.
link(90,7) :- #0.386.
link(7,92) :- #0.536.
link(92,7) :- #0.124.
link(7,96) :- #0.865.
link(96,7) :- #0.492.
link(7,102) :- #0.536.
link(102,7) :- #0.171.
link(7,106) :- #0.007.
link(106,7) :- #0.349.
link(7,107) :- #0.767.
link(107,7) :- #0.333.
link(7,131) :- #0.384.
link(131,7) :- #0.623.
link(8,11) :- #0.749.
link(11,8) :- #0.558.
link(8,26) :- #0.535.
link(26,8) :- #0.915.
link(8,37) :- #0.333.
link(37,8) :- #0.435.
link(8,47) :- #0.12.
link(47,8) :- #0.047.
link(8,48) :- #0.937.
link(48,8) :- #0.967.
link(8,68) :- #0.62.
link(68,8) :- #0.82.
link(8,72) :- #0.235.
link(72,8) :- #0.834.
link(8,103) :- #0.711.
link(103,8) :- #0.121.
link(8,105) :- #0.459.
link(105,8) :- #0.32.
link(8,130) :- #0.478.
link(130,8) :- #0.
link(8,138) :- #0.885.
link(138,8) :- #0.378.
link(9,26) :- #0.483.
link(26,9) :- #0.998.
link(9,33) :- #0.132.
link(33,9) :- #0.394.
link(9,36) :- #0.698.
link(36,9) :- #0.923.
link(9,45) :- #0.988.
link(45,9) :- #0.534.
link(9,56) :- #0.123.
link(56,9) :- #0.956.
link(9,67) :- #0.287.
link(67,9) :- #0.56.
link(9,70) :- #0.457.
link(70,9) :- #0.926.
link(9,71) :- #0.907.
link(71,9) :- #0.64.
link(9,74) :- #0.073.
link(74,9) :- #0.214.
link(9,77) :- #0.14.
link(77,9) :- #0.403.
link(9,84) :- #0.009.
link(84,9) :- #0.808.
link(9,86) :- #0.097.
link(86,9) :- #0.877.
link(9,87) :- #0.37.
link(87,9) :- #0.612.
link(9,95) :- #0.633.
link(95,9) :- #0.38.
link(9,97) :- #0.927.
link(97,9) :- #0.398.
link(9,105) :- #0.592.
link(105,9) :- #0.087.
link(9,107) :- #0.506.
link(107,9) :- #0.564.
link(9,115) :- #0.478.
link(115,9) :- #0.241.
link(9,125) :- #0.743.
link(125,9) :- #0.597.
link(10,17) :- #0.594.
link(17,10) :- #0.545.
link(10,29) :- #0.636.
link(29,10) :- #0.425.
link(10,35) :- #0.924.
link(35,10) :- #0.577.
link(10,43) :- #0.218.
link(43,10) :- #0.417.
link(10,48) :- #0.928.
link(48,10) :- #0.312.
link(10,72) :- #0.117.
link(72,10) :- #0.018.
link(10,84) :- #0.673.
link(84,10) :- #0.545.
link(10,86) :- #0.474.
link(86,10) :- #0.915.
link(10,110) :- #0.497.
link(110,10) :- #0.879.
link(10,121) :- #0.954.
link(121,10) :- #0.402.
link(10,130) :- #0.448.
link(130,10) :- #0.482.
link(10,133) :- #0.594.
link(133,10) :- #0.465.
link(10,136) :- #0.897.
link(136,10) :- #0.356.
link(10,138) :- #0.157.
link(138,10) :- #0.07.
link(11,13) :- #0.956.
link(13,11) :- #0.87.
link(11,40) :- #0.117.
link(40,11) :- #0.775.
link(11,43) :- #0.046.
link(43,11) :- #0.617.
link(11,56) :- #0.446.
link(56,11) :- #0.698.
link(11,65) :- #0.355.
link(65,11) :- #0.886.
link(11,73) :- #0.056.
link(73,11) :- #0.166.
link(11,88) :- #0.007.
link(88,11) :- #0.44.
link(11,92) :- #0.979.
link(92,11) :- #0.232.
link(11,93) :- #0.914.
link(93,11) :- #0.51.
link(11,95) :- #0.677.
link(95,11) :- #0.12.
link(11,96) :- #0.203.
link(96,11) :- #0.87.
link(11,115) :- #0.007.
link(115,11) :- #0.598.
link(11,117) :- #0.212.
link(117,11) :- #0.05.
link(12,17) :- #0.306.
link(17,12) :- #0.839.
link(12,23) :- #0.853.
link(23,12) :- #0.742.
link(12,46) :- #0.436.
link(46,12) :- #0.534.
link(12,48) :- #0.114.
link(48,12) :- #0.752.
link(12,52) :- #0.848.
link(52,12) :- #0.543.
link(12,54) :- #0.776.
link(54,12) :- #0.545.
link(12,56) :- #0.291.
link(56,12) :- #0.11.
link(12,76) :- #0.763.
link(76,12) :- #0.05.
link(12,89) :- #0.551.
link(89,12) :- #0.585.
link(12,110) :- #0.691.
link(110,12) :- #0.573.
link(12,111) :- #0.984.
link(111,12) :- #0.292.
link(12,115) :- #0.973.
link(115,12) :- #0.95.
link(12,121) :- #0.757.
link(121,12) :- #0.976.
link(12,135) :- #0.731.
link(135,12) :- #0.649.
link(13,30) :- #0.113.
link(30,13) :- #0.512.
link(13,31) :- #0.789.
link(31,13) :- #0.97.
link(13,48) :- #0.074.
link(48,13) :- #0.838.
link(13,61) :- #0.204.
link(61,13) :- #0.482.
link(13,77) :- #0.225.
link(77,13) :- #0.584.
link(13,80) :- #0.388.
link(80,13) :- #0.024.
link(13,94) :- #0.402.
link(94,13) :- #0.388.
link(13,98) :- #0.533.
link(98,13) :- #0.164.
link(13,117) :- #0.634.
link(117,13) :- #0.447.
link(13,118) :- #0.205.
link(118,13) :- #0.691.
link(13,124) :- #0.746.
link(124,13) :- #0.525.
link(13,130) :- #0.932.
link(130,13) :- #0.133.
link(14,16) :- #0.887.
link(16,14) :- #0.178.
link(14,22) :- #0.904.
link(22,14) :- #0.285.
link(14,40) :- #0.595.
link(40,14) :- #0.764.
link(14,63) :- #0.593.
link(63,14) :- #0.435.
link(14,69) :- #0.943.
link(69,14) :- #0.42.
link(14,82) :- #0.8.
link(82,14) :- #0.281.
link(14,83) :- #0.907.
link(83,14) :- #0.257.
link(14,84) :- #0.075.
link(84,14) :- #0.008.
link(14,100) :- #0.466.
link(100,14) :- #0.875.
link(14,107) :- #0.432.
link(107,14) :- #0.703.
link(14,115) :- #0.45.
link(115,14) :- #0.918.
link(14,120) :- #0.158.
link(120,14) :- #0.267.
link(14,128) :- #0.885.
link(128,14) :- #0.796.
link(15,24) :- #0.248.
link(24,15) :- #0.24.
link(15,26) :- #0.288.
link(26,15) :- #0.2.
link(15,28) :- #0.61.
link(28,15) :- #0.253.
link(15,45) :- #0.034.
link(45,15) :- #0.488.
link(15,51) :- #0.786.
link(51,15) :- #0.01.
link(15,53) :- #0.724.
link(53,15) :- #0.908.
link(15,94) :- #0.22.
link(94,15) :- #0.168.
link(15,100) :- #0.274.
link(100,15) :- #0.634.
link(16,17) :- #0.307.
link(17,16) :- #0.103.
link(16,18) :- #0.902.
link(18,16) :- #0.547.
link(16,21) :- #0.954.
link(21,16) :- #0.24.
link(16,22) :- #0.933.
link(22,16) :- #0.942.
link(16,23) :- #0.57.
link(23,16) :- #0.241.
link(16,25) :- #0.551.
link(25,16) :- #0.095.
link(16,37) :- #0.285.
link(37,16) :- #0.426.
link(16,42) :- #0.827.
link(42,16) :- #0.97.
link(16,44) :- #0.329.
link(44,16) :- #0.159.
link(16,67) :- #0.085.
link(67,16) :- #0.743.
link(16,72) :- #0.602.
link(72,16) :- #0.654.
link(16,79) :- #0.361.
link(79,16) :- #0.2.
link(16,97) :- #0.165.
link(97,16) :- #0.624.
link(16,112) :- #0.387.
link(112,16) :- #0.141.
link(16,118) :- #0.068.
link(118,16) :- #0.974.
link(16,125) :- #0.453.
link(125,16) :- #0.391.
link(16,130) :- #0.487.
link(130,16) :- #0.282.
link(17,26) :- #0.099.
link(26,17) :- #0.876.
link(17,28) :- #0.476.
link(28,17) :- #0.175.
link(17,64) :- #0.077.
link(64,17) :- #0.001.
link(17,72) :- #0.857.
link(72,17) :- #0.926.
link(17,80) :- #0.204.
link(80,17) :- #0.461.
link(17,83) :- #0.467.
link(83,17) :- #0.219.
link(17,90) :- #0.751.
link(90,17) :- #0.989.
link(17,101) :- #0.363.
link(101,17) :- #0.134.
link(17,110) :- #0.99.
link(110,17) :- #0.894.
link(17,124) :- #0.91.
link(124,17) :- #0.066.
link(17,127) :- #0.715.
link(127,17) :- #0.629.
link(17,139) :- #0.358.
link(139,17) :- #0.639.
link(18,32) :- #0.235.
link(32,18) :- #0.93.
link(18,34) :- #0.386.
link(34,18) :- #0.29.
link(18,35) :- #0.825.
link(35,18) :- #0.061.
link(18,43) :- #0.79.
link(43,18) :- #0.251.
link(18,44) :- #0.61.
link(44,18) :- #0.563.
link(18,66) :- #0.511.
link(66,18) :- #0.249.
link(18,83) :- #0.454.
link(83,18) :- #0.183.
link(18,84) :- #0.252.
link(84,18) :- #0.638.
link(18,86) :- #0.821.
link(86,18) :- #0.876.
link(18,97) :- #0.23.
link(97,18) :- #0.382.
link(18,117) :- #0.796.
link(117,18) :- #0.134.
link(18,126) :- #0.087.
link(126,18) :- #0.741.
link(18,129) :- #0.996.
link(129,18) :- #0.312.
link(18,131) :- #0.33.
link(131,18) :- #0.666.
link(19,31) :- #0.015.
link(31,19) :- #0.073.
link(19,36) :- #0.123.
link(36,19) :- #0.192.
link(19,54) :- #0.172.
link(54,19) :- #0.643.
link(19,77) :- #0.177.
link(77,19) :- #0.153.
link(19,96) :- #0.609.
link(96,19) :- #0.171.
link(19,105) :- #0.094.
link(105,19) :- #0.631.
link(19,108) :- #0.515.
link(108,19) :- #0.396.
link(19,119) :- #0.052.
link(119,19) :- #0.998.
link(19,124) :- #0.242.
link(124,19) :- #0.717.
link(20,21) :- #0.404.
link(21,20) :- #0.446.
link(20,23) :- #0.072.
link(23,20) :- #0.256.
link(20,26) :- #0.544.
link(26,20) :- #0.354.
link(20,30) :- #0.
link(30,20) :- #0.063.
link(20,35) :- #0.641.
link(35,20) :- #0.087.
link(20,36) :- #0.459.
link(36,20) :- #0.018.
link(20,59) :- #0.18.
link(59,20) :- #0.069.
link(20,79) :- #0.743.
link(79,20) :- #0.652.
link(20,102) :- #0.19.
link(102,20) :- #0.762.
link(20,132) :- #0.846.
link(132,20) :- #0.984.
link(20,137) :- #0.822.
link(137,20) :- #0.139.
link(21,25) :- #0.747.
link(25,21) :- #0.739.
link(21,28) :- #0.343.
link(28,21) :- #0.034.
link(21,32) :- #0.025.
link(32,21) :- #0.329.
link(21,37) :- #0.397.
link(37,21) :- #0.488.
link(21,42) :- #0.333.
link(42,21) :- #0.549.
link(21,46) :- #0.558.
link(46,21) :- #0.553.
link(21,51) :- #0.136.
link(51,21) :- #0.818.
link(21,71) :- #0.234.
link(71,21) :- #0.743.
link(21,73) :- #0.552.
link(73,21) :- #0.502.
link(21,88) :- #0.887.
link(88,21) :- #0.918.
link(21,91) :- #0.832.
link(91,21) :- #0.469.
link(21,95) :- #0.576.
link(95,21) :- #0.344.
link(21,101) :- #0.268.
link(101,21) :- #0.836.
link(21,113) :- #0.156.
link(113,21) :- #0.47.
link(21,116) :- #0.28.
link(116,21) :- #0.173.
link(21,131) :- #0.881.
link(131,21) :- #0.473.
link(21,137) :- #0.19.
link(137,21) :- #0.436.
link(22,26) :- #0.17.
link(26,22) :- #0.607.
link(22,31) :- #0.424.
link(31,22) :- #0.052.
link(22,40) :- #0.145.
link(40,22) :- #0.043.
link(22,41) :- #0.507.
link(41,22) :- #0.909.
link(22,51) :- #0.067.
link(51,22) :- #0.093.
link(22,85) :- #0.349.
link(85,22) :- #0.323.
link(22,95) :- #0.808.
link(95,22) :- #0.199.
link(22,99) :- #0.756.
link(99,22) :- #0.988.
link(22,106) :- #0.969.
link(106,22) :- #0.708.
link(22,116) :- #0.425.
link(116,22) :- #0.757.
link(22,127) :- #0.757.
link(127,22) :- #0.567.
link(23,32) :- #0.496.
link(32,23) :- #0.166.
link(23,35) :- #0.245.
link(35,23) :- #0.49.
link(23,36) :- #0.151.
link(36,23) :- #0.381.
link(23,39) :- #0.581.
link(39,23) :- #0.793.
link(23,75) :- #0.16.
link(75,23) :- #0.054.
link(23,80) :- #0.013.
link(80,23) :- #0.782.
link(23,96) :- #0.267.
link(96,23) :- #0.946.
link(23,100) :- #0.48.
link(100,23) :- #0.757.
link(23,107) :- #0.195.
link(107,23) :- #0.31.
link(23,112) :- #0.016.
link(112,23) :- #0.274.
link(23,128) :- #0.735.
link(128,23) :- #0.83.
link(23,134) :- #0.205.
link(134,23) :- #0.198.
link(23,137) :- #0.201.
link(137,23) :- #0.193.
link(24,35) :- #0.609.
link(35,24) :- #0.215.
link(24,40) :- #0.681.
link(40,24) :- #0.442.
link(24,59) :- #0.96.
link(59,24) :- #0.411.
link(24,80) :- #0.362.
link(80,24) :- #0.67.
link(24,97) :- #0.428.
link(97,24) :- #0.05.
link(24,124) :- #0.215.
link(124,24) :- #0.922.
link(24,135) :- #0.461.
link(135,24) :- #0.077.
link(24,138) :- #0.855.
link(138,24) :- #0.793.
link(25,47) :- #0.222.
link(47,25) :- #0.765.
link(25,53) :- #0.358.
link(53,25) :- #0.915.
link(25,59) :- #0.262.
link(59,25) :- #0.28.
link(25,60) :- #0.312.
link(60,25) :- #0.497.
link(25,73) :- #0.469.
link(73,25) :- #0.363.
link(25,74) :- #0.945.
link(74,25) :- #0.449.
link(25,76) :- #0.987.
link(76,25) :- #0.232.
link(25,81) :- #0.634.
link(81,25) :- #0.305.
link(25,95) :- #0.641.
link(95,25) :- #0.01.
link(25,105) :- #0.475.
link(105,25) :- #0.504.
link(25,119) :- #0.352.
link(119,25) :- #0.268.
link(25,120) :- #0.646.
link(120,25) :- #0.462.
link(25,131) :- #0.41.
link(131,25) :- #0.537.
link(25,133) :- #0.37.
link(133,25) :- #0.698.
link(25,136) :- #0.712.
link(136,25) :- #0.227.
link(26,34) :- #0.119.
link(34,26) :- #0.872.
link(26,42) :- #0.645.
link(42,26) :- #0.234.
link(26,43) :- #0.994.
link(43,26) :- #0.599.
link(26,44) :- #0.42.
link(44,26) :- #0.405.
link(26,58) :- #0.688.
link(58,26) :- #0.832.
link(26,65) :- #0.818.
link(65,26) :- #0.03.
link(26,99) :- #0.078.
link(99,26) :- #0.601.
link(26,100) :- #0.437.
link(100,26) :- #0.917.
link(26,110) :- #0.049.
link(110,26) :- #0.979.
link(26,124) :- #0.285.
link(124,26) :- #0.476.
link(26,127) :- #0.928.
link(127,26) :- #0.94.
link(27,37) :- #0.506.
link(37,27) :- #0.413.
link(27,39) :- #0.623.
link(39,27) :- #0.04.
link(27,43) :- #0.975.
link(43,27) :- #0.189.
link(27,64) :- #0.873.
link(64,27) :- #0.393.
link(27,70) :- #0.679.
link(70,27) :- #0.817.
link(27,76) :- #0.563.
link(76,27) :- #0.943.
link(27,84) :- #0.211.
link(84,27) :- #0.768.
link(27,117) :- #0.978.
link(117,27) :- #0.456.
link(27,133) :- #0.139.
link(133,27) :- #0.927.
link(27,138) :- #0.565.
link(138,27) :- #0.625.
link(27,140) :- #0.754.
link(140,27) :- #0.527.
link(28,60) :- #0.909.
link(60,28) :- #0.28.
link(28,65) :- #0.092.
link(65,28) :- #0.504.
link(28,71) :- #0.471.
link(71,28) :- #0.357.
link(28,73) :- #0.657.
link(73,28) :- #0.792.
link(28,91) :- #0.243.
link(91,28) :- #0.473.
link(28,106) :- #0.933.
link(106,28) :- #0.693.
link(28,111) :- #0.05.
link(111,28) :- #0.77.
link(28,115) :- #0.2.
link(115,28) :- #0.899.
link(28,119) :- #0.193.
link(119,28) :- #0.931.
link(28,128) :- #0.046.
link(128,28) :- #0.498.
link(28,135) :- #0.653.
link(135,28) :- #0.833.
link(29,41) :- #0.998.
link(41,29) :- #0.495.
link(29,62) :- #0.902.
link(62,29) :- #0.24.
link(29,74) :- #0.359.
link(74,29) :- #0.296.
link(29,76) :- #0.688.
link(76,29) :- #0.9.
link(29,77) :- #0.346.
link(77,29) :- #0.224.
link(29,81) :- #0.
link(81,29) :- #0.817.
link(29,84) :- #0.207.
link(84,29) :- #0.303.
link(29,88) :- #0.961.
link(88,29) :- #0.643.
link(29,94) :- #0.02.
link(94,29) :- #0.372.
link(29,98) :- #0.064.
link(98,29) :- #0.9.
link(29,108) :- #0.156.
link(108,29) :- #0.259.
link(29,128) :- #0.974.
link(128,29) :- #0.07.
link(29,129) :- #0.031.
link(129,29) :- #0.603.
link(29,137) :- #0.011.
link(137,29) :- #0.676.
link(30,40) :- #0.193.
link(40,30) :- #0.565.
link(30,43) :- #0.239.
link(43,30) :- #0.096.
link(30,54) :- #0.289.
link(54,30) :- #0.465.
link(30,55) :- #0.201.
link(55,30) :- #0.341.
link(30,86) :- #0.062.
link(86,30) :- #0.548.
link(30,89) :- #0.471.
link(89,30) :- #0.111.
link(30,95) :- #0.736.
link(95,30) :- #0.989.
link(30,106) :- #0.213.
link(106,30) :- #0.654.
link(30,108) :- #0.634.
link(108,30) :- #0.519.
link(30,119) :- #0.312.
link(119,30) :- #0.763.
link(30,125) :- #0.273.
link(125,30) :- #0.291.
link(30,126) :- #0.845.
link(126,30) :- #0.568.
link(30,130) :- #0.852.
link(130,30) :- #0.831.
link(30,133) :- #0.886.
link(133,30) :- #0.77.
link(30,134) :- #0.718.
link(134,30) :- #0.774.
link(31,33) :- #0.869.
link(33,31) :- #0.894.
link(31,36) :- #0.231.
link(36,31) :- #0.185.
link(31,38) :- #0.062.
link(38,31) :- #0.886.
link(31,41) :- #0.114.
link(41,31) :- #0.241.
link(31,54) :- #0.471.
link(54,31) :- #0.518.
link(31,58) :- #0.869.
link(58,31) :- #0.029.
link(31,63) :- #0.748.
link(63,31) :- #0.291.
link(31,72) :- #0.945.
link(72,31) :- #0.917.
link(31,81) :- #0.113.
link(81,31) :- #0.616.
link(31,105) :- #0.631.
link(105,31) :- #0.994.
link(31,112) :- #0.967.
link(112,31) :- #0.575.
link(31,116) :- #0.175.
link(116,31) :- #0.173.
link(32,50) :- #0.748.
link(50,32) :- #0.475.
link(32,75) :- #0.52.
link(75,32) :- #0.997.
link(32,77) :- #0.696.
link(77,32) :- #0.183.
link(32,99) :- #0.618.
link(99,32) :- #0.512.
link(32,104) :- #0.956.
link(104,32) :- #0.969.
link(32,105) :- #0.213.
link(105,32) :- #0.782.
link(32,134) :- #0.696.
link(134,32) :- #0.64.
link(33,41) :- #0.787.
link(41,33) :- #0.22.
link(33,61) :- #0.568.
link(61,33) :- #0.497.
link(33,102) :- #0.432.
link(102,33) :- #0.394.
link(33,105) :- #0.606.
link(105,33) :- #0.145.
link(33,119) :- #0.293.
link(119,33) :- #0.903.
link(33,131) :- #0.772.
link(131,33) :- #0.191.
link(33,135) :- #0.103.
link(135,33) :- #0.36.
link(34,68) :- #0.635.
link(68,34) :- #0.151.
link(34,84) :- #0.811.
link(84,34) :- #0.063.
link(34,97) :- #0.557.
link(97,34) :- #0.504.
link(34,109) :- #0.227.
link(109,34) :- #0.049.
link(34,116) :- #0.044.
link(116,34) :- #0.349.
link(34,121) :- #0.861.
link(121,34) :- #0.733.
link(34,124) :- #0.547.
link(124,34) :- #0.866.
link(35,39) :- #0.019.
link(39,35) :- #0.081.
link(35,51) :- #0.463.
link(51,35) :- #0.083.
link(35,55) :- #0.926.
link(55,35) :- #0.17.
link(35,75) :- #0.961.
link(75,35) :- #0.96.
link(35,77) :- #0.134.
link(77,35) :- #0.406.
link(35,100) :- #0.797.
link(100,35) :- #0.59.
link(35,104) :- #0.935.
link(104,35) :- #0.566.
link(35,106) :- #0.459.
link(106,35) :- #0.308.
link(35,115) :- #0.756.
link(115,35) :- #0.108.
link(35,119) :- #0.118.
link(119,35) :- #0.629.
link(35,124) :- #0.791.
link(124,35) :- #0.76.
link(35,125) :- #0.111.
link(125,35) :- #0.282.
link(35,133) :- #0.882.
link(133,35) :- #0.851.
link(35,134) :- #0.444.
link(134,35) :- #0.984.
link(35,137) :- #0.376.
link(137,35) :- #0.946.
link(35,139) :- #0.577.
link(139,35) :- #0.357.
link(36,44) :- #0.416.
link(44,36) :- #0.322.
link(36,45) :- #0.799.
link(45,36) :- #0.049.
link(36,85) :- #0.459.
link(85,36) :- #0.492.
link(36,123) :- #0.869.
link(123,36) :- #0.408.
link(36,132) :- #0.582.
link(132,36) :- #0.001.
link(37,38) :- #0.239.
link(38,37) :- #0.228.
link(37,42) :- #0.009.
link(42,37) :- #0.025.
link(37,66) :- #0.731.
link(66,37) :- #0.128.
link(37,85) :- #0.691.
link(85,37) :- #0.06.
link(37,91) :- #0.839.
link(91,37) :- #0.128.
link(37,95) :- #0.699.
link(95,37) :- #0.132.
link(37,98) :- #0.756.
link(98,37) :- #0.172.
link(37,114) :- #0.573.
link(114,37) :- #0.247.
link(37,120) :- #0.759.
link(120,37) :- #0.611.
link(37,123) :- #0.783.
link(123,37) :- #0.146.
link(37,127) :- #0.867.
link(127,37) :- #0.493.
link(37,129) :- #0.801.
link(129,37) :- #0.123.
link(38,39) :- #0.578.
link(39,38) :- #0.615.
link(38,45) :- #0.126.
link(45,38) :- #0.707.
link(38,47) :- #0.659.
link(47,38) :- #0.401.
link(38,63) :- #0.404.
link(63,38) :- #0.155.
link(38,69) :- #0.09.
link(69,38) :- #0.267.
link(38,73) :- #0.893.
link(73,38) :- #0.009.
link(38,75) :- #0.415.
link(75,38) :- #0.33.
link(38,76) :- #0.911.
link(76,38) :- #0.753.
link(38,98) :- #0.59.
link(98,38) :- #0.226.
link(38,114) :- #0.265.
link(114,38) :- #0.897.
link(38,126) :- #0.32.
link(126,38) :- #0.892.
link(38,129) :- #0.453.
link(129,38) :- #0.5.
link(38,130) :- #0.507.
link(130,38) :- #0.39.
link(38,132) :- #0.646.
link(132,38) :- #0.285.
link(38,138) :- #0.495.
link(138,38) :- #0.834.
link(39,41) :- #0.107.
link(41,39) :- #0.507.
link(39,50) :- #0.891.
link(50,39) :- #0.055.
link(39,57) :- #0.964.
link(57,39) :- #0.663.
link(39,61) :- #0.015.
link(61,39) :- #0.68.
link(39,73) :- #0.848.
link(73,39) :- #0.03.
link(39,74) :- #0.911.
link(74,39) :- #0.378.
link(39,102) :- #0.078.
link(102,39) :- #0.831.
link(39,106) :- #0.988.
link(106,39) :- #0.407.
link(39,113) :- #0.265.
link(113,39) :- #0.235.
link(39,120) :- #0.971.
link(120,39) :- #0.513.
link(39,129) :- #0.785.
link(129,39) :- #0.38.
link(40,52) :- #0.103.
link(52,40) :- #0.26.
link(40,55) :- #0.677.
link(55,40) :- #0.266.
link(40,80) :- #0.5.
link(80,40) :- #0.134.
link(40,86) :- #0.595.
link(86,40) :- #0.855.
link(40,90) :- #0.802.
link(90,40) :- #0.934.
link(40,94) :- #0.397.
link(94,40) :- #0.59.
link(40,110) :- #0.785.
link(110,40) :- #0.108.
link(40,131) :- #0.279.
link(131,40) :- #0.963.
link(40,138) :- #0.378.
link(138,40) :- #0.666.
link(41,47) :- #0.679.
link(47,41) :- #0.9.
link(41,55) :- #0.41.
link(55,41) :- #0.996.
link(41,56) :- #0.161.
link(56,41) :- #0.697.
link(41,59) :- #0.846.
link(59,41) :- #0.462.
link(41,63) :- #0.306.
link(63,41) :- #0.77.
link(41,67) :- #0.047.
link(67,41) :- #0.702.
link(41,76) :- #0.277.
link(76,41) :- #0.744.
link(41,80) :- #0.388.
link(80,41) :- #0.575.
link(41,86) :- #0.882.
link(86,41) :- #0.61.
link(41,110) :- #0.32.
link(110,41) :- #0.018.
link(41,111) :- #0.802.
link(111,41) :- #0.061.
link(41,112) :- #0.555.
link(112,41) :- #0.577.
link(41,115) :- #0.627.
link(115,41) :- #0.429.
link(41,121) :- #0.456.
link(121,41) :- #0.061.
link(41,126) :- #0.61.
link(126,41) :- #0.118.
link(41,128) :- #0.157.
link(128,41) :- #0.84.
link(42,47) :- #0.881.
link(47,42) :- #0.369.
link(42,60) :- #0.261.
link(60,42) :- #0.568.
link(42,81) :- #0.44.
link(81,42) :- #0.871.
link(42,128) :- #0.974.
link(128,42) :- #0.011.
link(42,136) :- #0.589.
link(136,42) :- #0.953.
link(43,53) :- #0.708.
link(53,43) :- #0.813.
link(43,59) :- #0.878.
link(59,43) :- #0.188.
link(43,63) :- #0.976.
link(63,43) :- #0.119.
link(43,72) :- #0.733.
link(72,43) :- #0.545.
link(43,81) :- #0.112.
link(81,43) :- #0.481.
link(43,83) :- #0.33.
link(83,43) :- #0.095.
link(43,85) :- #0.745.
link(85,43) :- #0.267.
link(43,90) :- #0.086.
link(90,43) :- #0.533.
link(43,96) :- #0.405.
link(96,43) :- #0.156.
link(43,99) :- #0.184.
link(99,43) :- #0.929.
link(43,105) :- #0.203.
link(105,43) :- #0.499.
link(44,51) :- #0.655.
link(51,44) :- #0.375.
link(44,57) :- #0.517.
link(57,44) :- #0.227.
link(44,58) :- #0.628.
link(58,44) :- #0.184.
link(44,82) :- #0.506.
link(82,44) :- #0.288.
link(44,85) :- #0.879.
link(85,44) :- #0.738.
link(44,100) :- #0.238.
link(100,44) :- #0.916.
link(44,108) :- #0.97.
link(108,44) :- #0.624.
link(44,120) :- #0.231.
link(120,44) :- #0.292.
link(44,129) :- #0.003.
link(129,44) :- #0.619.
link(44,134) :- #0.229.
link(134,44) :- #0.817.
link(45,52) :- #0.837.
link(52,45) :- #0.005.
link(45,60) :- #0.537.
link(60,45) :- #0.473.
link(45,84) :- #0.016.
link(84,45) :- #0.524.
link(45,85) :- #0.042.
link(85,45) :- #0.802.
link(45,86) :- #0.345.
link(86,45) :- #0.574.
link(45,91) :- #0.061.
link(91,45) :- #0.394.
link(45,99) :- #0.22.
link(99,45) :- #0.471.
link(45,106) :- #0.096.
link(106,45) :- #0.427.
link(45,119) :- #0.182.
link(119,45) :- #0.386.
link(45,120) :- #0.682.
link(120,45) :- #0.552.
link(45,123) :- #0.8.
link(123,45) :- #0.867.
link(45,125) :- #0.59.
link(125,45) :- #0.95.
link(46,47) :- #0.557.
link(47,46) :- #0.325.
link(46,57) :- #0.155.
link(57,46) :- #0.879.
link(46,61) :- #0.719.
link(61,46) :- #0.028.
link(46,111) :- #0.196.
link(111,46) :- #0.958.
link(46,113) :- #0.149.
link(113,46) :- #0.665.
link(46,123) :- #0.856.
link(123,46) :- #0.129.
link(46,133) :- #0.898.
link(133,46) :- #0.47.
link(47,53) :- #0.253.
link(53,47) :- #0.116.
link(47,64) :- #0.493.
link(64,47) :- #0.939.
link(47,72) :- #0.487.
link(72,47) :- #0.744.
link(47,101) :- #0.915.
link(101,47) :- #0.901.
link(47,111) :- #0.85.
link(111,47) :- #0.003.
link(47,125) :- #0.741.
link(125,47) :- #0.859.
link(47,131) :- #0.695.
link(131,47) :- #0.906.
link(48,74) :- #0.397.
link(74,48) :- #0.224.
link(48,88) :- #0.864.
link(88,48) :- #0.1.
link(48,97) :- #0.37.
link(97,48) :- #0.041.
link(48,105) :- #0.977.
link(105,48) :- #0.939.
link(48,118) :- #0.846.
link(118,48) :- #0.768.
link(49,51) :- #0.506.
link(51,49) :- #0.951.
link(49,58) :- #0.193.
link(58,49) :- #0.342.
link(49,66) :- #0.126.
link(66,49) :- #0.889.
link(49,70) :- #0.925.
link(70,49) :- #0.375.
link(49,83) :- #0.425.
link(83,49) :- #0.266.
link(49,86) :- #0.991.
link(86,49) :- #0.657.
link(50,52) :- #0.731.
link(52,50) :- #0.131.
link(50,60) :- #0.104.
link(60,50) :- #0.952.
link(50,85) :- #0.721.
link(85,50) :- #0.185.
link(50,86) :- #0.182.
link(86,50) :- #0.161.
link(50,93) :- #0.941.
link(93,50) :- #0.107.
link(50,120) :- #0.132.
link(120,50) :- #0.585.
link(50,133) :- #0.501.
link(133,50) :- #0.241.
link(50,138) :- #0.219.
link(138,50) :- #0.095.
link(51,67) :- #0.759.
link(67,51) :- #0.825.
link(51,84) :- #0.03.
link(84,51) :- #0.322.
link(51,90) :- #0.754.
link(90,51) :- #0.622.
link(51,99) :- #0.797.
link(99,51) :- #0.357.
link(51,100) :- #0.647.
link(100,51) :- #0.626.
link(51,114) :- #0.145.
link(114,51) :- #0.322.
link(51,115) :- #0.425.
link(115,51) :- #0.146.
link(51,118) :- #0.573.
link(118,51) :- #0.373.
link(51,130) :- #0.1.
link(130,51) :- #0.776.
link(51,131) :- #0.374.
link(131,51) :- #0.101.
link(51,133) :- #0.474.
link(133,51) :- #0.04.
link(52,68) :- #0.784.
link(68,52) :- #0.933.
link(52,69) :- #0.157.
link(69,52) :- #0.893.
link(52,77) :- #0.803.
link(77,52) :- #0.285.
link(52,78) :- #0.675.
link(78,52) :- #0.959.
link(52,87) :- #0.072.
link(87,52) :- #0.945.
link(52,96) :- #0.529.
link(96,52) :- #0.839.
link(52,122) :- #0.888.
link(122,52) :- #0.382.
link(52,123) :- #0.603.
link(123,52) :- #0.934.
link(52,136) :- #0.846.
link(136,52) :- #0.346.
link(52,138) :- #0.123.
link(138,52) :- #0.701.
link(52,139) :- #0.777.
link(139,52) :- #0.786.
link(53,54) :- #0.034.
link(54,53) :- #0.855.
link(53,63) :- #0.736.
link(63,53) :- #0.735.
link(53,75) :- #0.278.
link(75,53) :- #0.684.
link(53,98) :- #0.544.
link(98,53) :- #0.436.
link(53,100) :- #0.513.
link(100,53) :- #0.869.
link(53,105) :- #0.007.
link(105,53) :- #0.641.
link(53,106) :- #0.953.
link(106,53) :- #0.304.
link(53,114) :- #0.888.
link(114,53) :- #0.298.
link(53,118) :- #0.399.
link(118,53) :- #0.621.
link(53,128) :- #0.383.
link(128,53) :- #0.725.
link(53,129) :- #0.427.
link(129,53) :- #0.007.
link(53,132) :- #0.352.
link(132,53) :- #0.105.
link(53,135) :- #0.074.
link(135,53) :- #0.54.
link(53,137) :- #0.313.
link(137,53) :- #0.622.
link(53,139) :- #0.826.
link(139,53) :- #0.472.
link(54,56) :- #0.212.
link(56,54) :- #0.6.
link(54,58) :- #0.347.
link(58,54) :- #0.497.
link(54,70) :- #0.619.
link(70,54) :- #0.606.
link(54,76) :- #0.925.
link(76,54) :- #0.183.
link(54,78) :- #0.967.
link(78,54) :- #0.871.
link(54,84) :- #0.282.
link(84,54) :- #0.038.
link(54,94) :- #0.391.
link(94,54) :- #0.675.
link(54,95) :- #0.241.
link(95,54) :- #0.514.
link(54,113) :- #0.815.
link(113,54) :- #0.217.
link(54,114) :- #0.832.
link(114,54) :- #0.029.
link(54,121) :- #0.156.
link(121,54) :- #0.25.
link(54,125) :- #0.373.
link(125,54) :- #0.488.
link(54,134) :- #0.56.
link(134,54) :- #0.404.
link(55,58) :- #0.675.
link(58,55) :- #0.016.
link(55,59) :- #0.639.
link(59,55) :- #0.13.
link(55,83) :- #0.914.
link(83,55) :- #0.565.
link(55,110) :- #0.177.
link(110,55) :- #0.087.
link(55,116) :- #0.616.
link(116,55) :- #0.801.
link(55,124) :- #0.874.
link(124,55) :- #0.994.
link(56,62) :- #0.042.
link(62,56) :- #0.328.
link(56,83) :- #0.638.
link(83,56) :- #0.646.
link(56,106) :- #0.745.
link(106,56) :- #0.75.
link(56,136) :- #0.055.
link(136,56) :- #0.289.
link(57,58) :- #0.062.
link(58,57) :- #0.662.
link(57,63) :- #0.661.
link(63,57) :- #0.657.
link(57,69) :- #0.299.
link(69,57) :- #0.125.
link(57,71) :- #0.241.
link(71,57) :- #0.005.
link(57,93) :- #0.755.
link(93,57) :- #0.112.
link(57,99) :- #0.798.
link(99,57) :- #0.778.
link(57,109) :- #0.864.
link(109,57) :- #0.3.
link(57,113) :- #0.988.
link(113,57) :- #0.499.
link(57,126) :- #0.386.
link(126,57) :- #0.396.
link(57,127) :- #0.59.
link(127,57) :- #0.846.
link(57,135) :- #0.067.
link(135,57) :- #0.05.
link(58,74) :- #0.02.
link(74,58) :- #0.216.
link(58,75) :- #0.604.
link(75,58) :- #0.694.
link(58,98) :- #0.596.
link(98,58) :- #0.602.
link(58,103) :- #0.446.
link(103,58) :- #0.261.
link(58,118) :- #0.321.
link(118,58) :- #0.895.
link(58,137) :- #0.298.
link(137,58) :- #0.188.
link(58,139) :- #0.774.
link(139,58) :- #0.558.
link(59,67) :- #0.513.
link(67,59) :- #0.275.
link(59,79) :- #0.375.
link(79,59) :- #0.598.
link(59,81) :- #0.636.
link(81,59) :- #0.543.
link(59,86) :- #0.
link(86,59) :- #0.174.
link(59,87) :- #0.335.
link(87,59) :- #0.811.
link(59,96) :- #0.861.
link(96,59) :- #0.698.
link(59,102) :- #0.186.
link(102,59) :- #0.446.
link(59,114) :- #0.573.
link(114,59) :- #0.703.
link(59,130) :- #0.156.
link(130,59) :- #0.832.
link(60,74) :- #0.793.
link(74,60) :- #0.769.
link(60,82) :- #0.968.
link(82,60) :- #0.041.
link(60,86) :- #0.138.
link(86,60) :- #0.755.
link(60,92) :- #0.66.
link(92,60) :- #0.037.
link(60,97) :- #0.949.
link(97,60) :- #0.196.
link(60,102) :- #0.788.
link(102,60) :- #0.175.
link(60,108) :- #0.816.
link(108,60) :- #0.9.
link(60,110) :- #0.506.
link(110,60) :- #0.612.
link(60,121) :- #0.458.
link(121,60) :- #0.186.
link(60,125) :- #0.98.
link(125,60) :- #0.58.
link(60,127) :- #0.286.
link(127,60) :- #0.382.
link(60,128) :- #0.646.
link(128,60) :- #0.765.
link(60,129) :- #0.572.
link(129,60) :- #0.782.
link(61,73) :- #0.948.
link(73,61) :- #0.79.
link(61,74) :- #0.161.
link(74,61) :- #0.319.
link(61,80) :- #0.799.
link(80,61) :- #0.108.
link(61,92) :- #0.974.
link(92,61) :- #0.438.
link(61,93) :- #0.539.
link(93,61) :- #0.363.
link(61,94) :- #0.319.
link(94,61) :- #0.644.
link(61,104) :- #0.116.
link(104,61) :- #0.353.
link(61,112) :- #0.478.
link(112,61) :- #0.679.
link(61,114) :- #0.334.
link(114,61) :- #0.193.
link(61,118) :- #0.744.
link(118,61) :- #0.337.
link(61,123) :- #0.767.
link(123,61) :- #0.947.
link(61,132) :- #0.572.
link(132,61) :- #0.38.
link(62,63) :- #0.398.
link(63,62) :- #0.072.
link(62,76) :- #0.062.
link(76,62) :- #0.468.
link(62,78) :- #0.672.
link(78,62) :- #0.184.
link(62,88) :- #0.087.
link(88,62) :- #0.242.
link(62,111) :- #0.891.
link(111,62) :- #0.385.
link(62,112) :- #0.168.
link(112,62) :- #0.963.
link(62,115) :- #0.045.
link(115,62) :- #0.088.
link(62,118) :- #0.215.
link(118,62) :- #0.12.
link(62,131) :- #0.223.
link(131,62) :- #0.809.
link(63,70) :- #0.268.
link(70,63) :- #0.974.
link(63,80) :- #0.803.
link(80,63) :- #0.829.
link(63,87) :- #0.19.
link(87,63) :- #0.943.
link(63,101) :- #0.103.
link(101,63) :- #0.149.
link(63,113) :- #0.204.
link(113,63) :- #0.225.
link(63,116) :- #0.09.
link(116,63) :- #0.747.
link(63,120) :- #0.228.
link(120,63) :- #0.115.
link(63,131) :- #0.914.
link(131,63) :- #0.976.
link(63,133) :- #0.166.
link(133,63) :- #0.744.
link(63,139) :- #0.391.
link(139,63) :- #0.089.
link(64,79) :- #0.732.
link(79,64) :- #0.447.
link(64,80) :- #0.351.
link(80,64) :- #0.604.
link(64,81) :- #0.74.
link(81,64) :- #0.937.
link(64,91) :- #0.717.
link(91,64) :- #0.435.
link(64,103) :- #0.349.
link(103,64) :- #0.868.
link(64,104) :- #0.134.
link(104,64) :- #0.995.
link(64,105) :- #0.793.
link(105,64) :- #0.033.
link(64,108) :- #0.369.
link(108,64) :- #0.412.
link(64,115) :- #0.18.
link(115,64) :- #0.381.
link(64,119) :- #0.92.
link(119,64) :- #0.636.
link(64,139) :- #0.859.
link(139,64) :- #0.576.
link(65,73) :- #0.623.
link(73,65) :- #0.679.
link(65,77) :- #0.363.
link(77,65) :- #0.998.
link(65,78) :- #0.249.
link(78,65) :- #0.04.
link(65,80) :- #0.565.
link(80,65) :- #0.771.
link(65,96) :- #0.509.
link(96,65) :- #0.389.
link(65,102) :- #0.256.
link(102,65) :- #0.69.
link(65,109) :- #0.463.
link(109,65) :- #0.529.
link(65,112) :- #0.082.
link(112,65) :- #0.169.
link(65,117) :- #0.502.
link(117,65) :- #0.28.
link(65,123) :- #0.686.
link(123,65) :- #0.666.
link(65,134) :- #0.075.
link(134,65) :- #0.18.
link(65,137) :- #0.793.
link(137,65) :- #0.403.
link(66,79) :- #0.587.
link(79,66) :- #0.302.
link(66,96) :- #0.045.
link(96,66) :- #0.709.
link(66,105) :- #0.961.
link(105,66) :- #0.293.
link(66,134) :- #0.141.
link(134,66) :- #0.415.
link(67,77) :- #0.627.
link(77,67) :- #0.222.
link(67,94) :- #0.569.
link(94,67) :- #0.629.
link(67,103) :- #0.128.
link(103,67) :- #0.606.
link(67,121) :- #0.103.
link(121,67) :- #0.894.
link(67,122) :- #0.405.
link(122,67) :- #0.966.
link(67,127) :- #0.762.
link(127,67) :- #0.324.
link(67,131) :- #0.489.
link(131,67) :- #0.5.
link(67,134) :- #0.855.
link(134,67) :- #0.462.
link(68,74) :- #0.
link(74,68) :- #0.55.
link(68,80) :- #0.801.
link(80,68) :- #0.416.
link(68,93) :- #0.294.
link(93,68) :- #0.832.
link(68,140) :- #0.968.
link(140,68) :- #0.454.
link(69,78) :- #0.413.
link(78,69) :- #0.31.
link(69,91) :- #0.681.
link(91,69) :- #0.847.
link(69,103) :- #0.338.
link(103,69) :- #0.66.
link(69,119) :- #0.925.
link(119,69) :- #0.043.
link(69,124) :- #0.444.
link(124,69) :- #0.843.
link(69,132) :- #0.06.
link(132,69) :- #0.386.
link(69,136) :- #0.101.
link(136,69) :- #0.057.
link(69,139) :- #0.802.
link(139,69) :- #0.818.
link(70,72) :- #0.919.
link(72,70) :- #0.444.
link(70,80) :- #0.004.
link(80,70) :- #0.504.
link(70,90) :- #0.284.
link(90,70) :- #0.407.
link(70,101) :- #0.759.
link(101,70) :- #0.903.
link(70,129) :- #0.238.
link(129,70) :- #0.115.
link(71,72) :- #0.311.
link(72,71) :- #0.659.
link(71,74) :- #0.005.
link(74,71) :- #0.069.
link(71,76) :- #0.334.
link(76,71) :- #0.121.
link(71,106) :- #0.123.
link(106,71) :- #0.166.
link(71,115) :- #0.696.
link(115,71) :- #0.635.
link(71,118) :- #0.075.
link(118,71) :- #0.049.
link(71,123) :- #0.633.
link(123,71) :- #0.719.
link(71,127) :- #0.171.
link(127,71) :- #0.24.
link(71,128) :- #0.882.
link(128,71) :- #0.197.
link(71,131) :- #0.389.
link(131,71) :- #0.381.
link(71,137) :- #0.208.
link(137,71) :- #0.715.
link(71,139) :- #0.467.
link(139,71) :- #0.15.
link(72,73) :- #0.539.
link(73,72) :- #0.018.
link(72,104) :- #0.411.
link(104,72) :- #0.251.
link(72,113) :- #0.784.
link(113,72) :- #0.938.
link(72,125) :- #0.124.
link(125,72) :- #0.258.
link(73,85) :- #0.135.
link(85,73) :- #0.51.
link(73,97) :- #0.175.
link(97,73) :- #0.479.
link(73,118) :- #0.03.
link(118,73) :- #0.466.
link(73,135) :- #0.033.
link(135,73) :- #0.265.
link(74,75) :- #0.939.
link(75,74) :- #0.912.
link(74,85) :- #0.988.
link(85,74) :- #0.905.
link(74,88) :- #0.263.
link(88,74) :- #0.248.
link(74,97) :- #0.536.
link(97,74) :- #0.153.
link(74,100) :- #0.853.
link(100,74) :- #0.772.
link(74,107) :- #0.246.
link(107,74) :- #0.37.
link(74,117) :- #0.295.
link(117,74) :- #0.369.
link(74,127) :- #0.988.
link(127,74) :- #0.772.
link(75,83) :- #0.251.
link(83,75) :- #0.727.
link(75,92) :- #0.399.
link(92,75) :- #0.448.
link(75,93) :- #0.635.
link(93,75) :- #0.597.
link(75,102) :- #0.379.
link(102,75) :- #0.951.
link(75,118) :- #0.749.
link(118,75) :- #0.319.
link(75,124) :- #0.089.
link(124,75) :- #0.818.
link(75,125) :- #0.936.
link(125,75) :- #0.532.
link(75,135) :- #0.298.
link(135,75) :- #0.353.
link(76,88) :- #0.636.
link(88,76) :- #0.431.
link(76,110) :- #0.946.
link(110,76) :- #0.184.
link(76,128) :- #0.844.
link(128,76) :- #0.975.
link(77,89) :- #0.492.
link(89,77) :- #0.24.
link(77,90) :- #0.749.
link(90,77) :- #0.813.
link(77,101) :- #0.343.
link(101,77) :- #0.944.
link(77,114) :- #0.414.
link(114,77) :- #0.855.
link(77,120) :- #0.221.
link(120,77) :- #0.203.
link(77,126) :- #0.731.
link(126,77) :- #0.086.
link(78,98) :- #0.651.
link(98,78) :- #0.389.
link(78,100) :- #0.844.
link(100,78) :- #0.386.
link(78,107) :- #0.406.
link(107,78) :- #0.452.
link(78,110) :- #0.923.
link(110,78) :- #0.553.
link(78,113) :- #0.177.
link(113,78) :- #0.089.
link(78,128) :- #0.587.
link(128,78) :- #0.969.
link(78,140) :- #0.295.
link(140,78) :- #0.66.
link(79,83) :- #0.642.
link(83,79) :- #0.127.
link(79,94) :- #0.04.
link(94,79) :- #0.225.
link(79,106) :- #0.813.
link(106,79) :- #0.699.
link(79,115) :- #0.004.
link(115,79) :- #0.517.
link(79,134) :- #0.228.
link(134,79) :- #0.698.
link(79,135) :- #0.668.
link(135,79) :- #0.107.
link(79,137) :- #0.797.
link(137,79) :- #0.248.
link(80,85) :- #0.824.
link(85,80) :- #0.081.
link(80,88) :- #0.028.
link(88,80) :- #0.281.
link(80,98) :- #0.483.
link(98,80) :- #0.76.
link(80,101) :- #0.043.
link(101,80) :- #0.34.
link(80,112) :- #0.634.
link(112,80) :- #0.72.
link(80,114) :- #0.45.
link(114,80) :- #0.405.
link(80,125) :- #0.614.
link(125,80) :- #0.497.
link(80,137) :- #0.886.
link(137,80) :- #0.961.
link(80,139) :- #0.093.
link(139,80) :- #0.966.
link(81,89) :- #0.311.
link(89,81) :- #0.236.
link(81,91) :- #0.139.
link(91,81) :- #0.628.
link(81,94) :- #0.825.
link(94,81) :- #0.986.
link(81,98) :- #0.555.
link(98,81) :- #0.872.
link(81,116) :- #0.985.
link(116,81) :- #0.134.
link(81,125) :- #0.45.
link(125,81) :- #0.03.
link(81,129) :- #0.108.
link(129,81) :- #0.881.
link(82,84) :- #0.809.
link(84,82) :- #0.514.
link(82,87) :- #0.256.
link(87,82) :- #0.453.
link(82,99) :- #0.825.
link(99,82) :- #0.105.
link(82,101) :- #0.926.
link(101,82) :- #0.732.
link(82,103) :- #0.802.
link(103,82) :- #0.143.
link(82,115) :- #0.363.
link(115,82) :- #0.621.
link(82,131) :- #0.192.
link(131,82) :- #0.788.
link(82,133) :- #0.121.
link(133,82) :- #0.923.
link(83,93) :- #0.493.
link(93,83) :- #0.117.
link(83,114) :- #0.471.
link(114,83) :- #0.749.
link(83,116) :- #0.34.
link(116,83) :- #0.644.
link(83,118) :- #0.48.
link(118,83) :- #0.401.
link(83,130) :- #0.854.
link(130,83) :- #0.137.
link(83,133) :- #0.653.
link(133,83) :- #0.285.
link(83,134) :- #0.598.
link(134,83) :- #0.766.
link(84,90) :- #0.548.
link(90,84) :- #0.619.
link(84,113) :- #0.824.
link(113,84) :- #0.501.
link(84,118) :- #0.567.
link(118,84) :- #0.518.
link(84,125) :- #0.054.
link(125,84) :- #0.154.
link(84,129) :- #0.377.
link(129,84) :- #0.946.
link(84,132) :- #0.714.
link(132,84) :- #0.086.
link(85,86) :- #0.142.
link(86,85) :- #0.052.
link(85,94) :- #0.953.
link(94,85) :- #0.461.
link(85,95) :- #0.781.
link(95,85) :- #0.497.
link(85,109) :- #0.164.
link(109,85) :- #0.477.
link(85,110) :- #0.019.
link(110,85) :- #0.731.
link(85,121) :- #0.816.
link(121,85) :- #0.555.
link(85,136) :- #0.484.
link(136,85) :- #0.145.
link(86,88) :- #0.251.
link(88,86) :- #0.23.
link(86,134) :- #0.94.
link(134,86) :- #0.874.
link(87,95) :- #0.166.
link(95,87) :- #0.089.
link(87,97) :- #0.01.
link(97,87) :- #0.688.
link(87,99) :- #0.759.
link(99,87) :- #0.548.
link(87,101) :- #0.989.
link(101,87) :- #0.092.
link(87,102) :- #0.474.
link(102,87) :- #0.397.
link(87,112) :- #0.28.
link(112,87) :- #0.006.
link(87,120) :- #0.944.
link(120,87) :- #0.754.
link(87,127) :- #0.4.
link(127,87) :- #0.426.
link(87,134) :- #0.103.
link(134,87) :- #0.362.
link(88,89) :- #0.673.
link(89,88) :- #0.321.
link(88,90) :- #0.35.
link(90,88) :- #0.82.
link(88,98) :- #0.626.
link(98,88) :- #0.973.
link(88,102) :- #0.559.
link(102,88) :- #0.572.
link(88,103) :- #0.732.
link(103,88) :- #0.605.
link(88,116) :- #0.358.
link(116,88) :- #0.865.
link(88,119) :- #0.5.
link(119,88) :- #0.751.
link(88,126) :- #0.328.
link(126,88) :- #0.965.
link(88,132) :- #0.783.
link(132,88) :- #0.523.
link(89,91) :- #0.185.
link(91,89) :- #0.964.
link(89,93) :- #0.626.
link(93,89) :- #0.011.
link(89,134) :- #0.943.
link(134,89) :- #0.416.
link(89,139) :- #0.502.
link(139,89) :- #0.268.
link(91,99) :- #0.999.
link(99,91) :- #0.867.
link(91,103) :- #0.573.
link(103,91) :- #0.846.
link(91,118) :- #0.685.
link(118,91) :- #0.158.
link(91,138) :- #0.843.
link(138,91) :- #0.091.
link(92,112) :- #0.666.
link(112,92) :- #0.171.
link(92,114) :- #0.056.
link(114,92) :- #0.5.
link(92,123) :- #0.511.
link(123,92) :- #0.725.
link(92,139) :- #0.813.
link(139,92) :- #0.313.
link(93,96) :- #0.381.
link(96,93) :- #0.324.
link(93,109) :- #0.05.
link(109,93) :- #0.445.
link(93,111) :- #0.383.
link(111,93) :- #0.152.
link(94,103) :- #0.307.
link(103,94) :- #0.158.
link(94,108) :- #0.126.
link(108,94) :- #0.361.
link(94,119) :- #0.721.
link(119,94) :- #0.944.
link(94,133) :- #0.147.
link(133,94) :- #0.472.
link(94,139) :- #0.552.
link(139,94) :- #0.773.
link(95,125) :- #0.44.
link(125,95) :- #0.661.
link(96,100) :- #0.084.
link(100,96) :- #0.511.
link(96,109) :- #0.529.
link(109,96) :- #0.184.
link(96,118) :- #0.789.
link(118,96) :- #0.405.
link(96,121) :- #0.47.
link(121,96) :- #0.081.
link(96,129) :- #0.596.
link(129,96) :- #0.421.
link(96,135) :- #0.599.
link(135,96) :- #0.266.
link(96,140) :- #0.451.
link(140,96) :- #0.813.
link(97,103) :- #0.653.
link(103,97) :- #0.802.
link(97,119) :- #0.221.
link(119,97) :- #0.176.
link(97,123) :- #0.269.
link(123,97) :- #0.429.
link(97,133) :- #0.482.
link(133,97) :- #0.655.
link(97,136) :- #0.665.
link(136,97) :- #0.839.
link(98,119) :- #0.081.
link(119,98) :- #0.61.
link(98,137) :- #0.007.
link(137,98) :- #0.836.
link(99,105) :- #0.417.
link(105,99) :- #0.758.
link(99,109) :- #0.46.
link(109,99) :- #0.695.
link(99,110) :- #0.501.
link(110,99) :- #0.154.
link(99,118) :- #0.968.
link(118,99) :- #0.181.
link(99,120) :- #0.488.
link(120,99) :- #0.895.
link(99,128) :- #0.325.
link(128,99) :- #0.844.
link(99,140) :- #0.107.
link(140,99) :- #0.635.
link(100,115) :- #0.157.
link(115,100) :- #0.069.
link(100,118) :- #0.358.
link(118,100) :- #0.944.
link(101,130) :- #0.882.
link(130,101) :- #0.811.
link(101,137) :- #0.642.
link(137,101) :- #0.85.
link(101,140) :- #0.107.
link(140,101) :- #0.951.
link(102,105) :- #0.025.
link(105,102) :- #0.061.
link(102,108) :- #0.876.
link(108,102) :- #0.36.
link(102,110) :- #0.367.
link(110,102) :- #0.089.
link(102,111) :- #0.748.
link(111,102) :- #0.393.
link(103,116) :- #0.07.
link(116,103) :- #0.826.
link(103,131) :- #0.416.
link(131,103) :- #0.981.
link(103,134) :- #0.187.
link(134,103) :- #0.71.
link(103,135) :- #0.823.
link(135,103) :- #0.396.
link(104,114) :- #0.71.
link(114,104) :- #0.139.
link(104,131) :- #0.035.
link(131,104) :- #0.164.
link(104,135) :- #0.177.
link(135,104) :- #0.874.
link(105,110) :- #0.246.
link(110,105) :- #0.541.
link(105,112) :- #0.029.
link(112,105) :- #0.026.
link(105,127) :- #0.598.
link(127,105) :- #0.155.
link(105,137) :- #0.777.
link(137,105) :- #0.52.
link(106,113) :- #0.258.
link(113,106) :- #0.236.
link(106,123) :- #0.378.
link(123,106) :- #0.403.
link(107,113) :- #0.598.
link(113,107) :- #0.82.
link(107,121) :- #0.75.
link(121,107) :- #0.732.
link(107,124) :- #0.096.
link(124,107) :- #0.978.
link(107,139) :- #0.163.
link(139,107) :- #0.281.
link(108,122) :- #0.825.
link(122,108) :- #0.932.
link(108,131) :- #0.93.
link(131,108) :- #0.702.
link(109,123) :- #0.161.
link(123,109) :- #0.576.
link(109,124) :- #0.144.
link(124,109) :- #0.862.
link(109,128) :- #0.769.
link(128,109) :- #0.748.
link(109,134) :- #0.897.
link(134,109) :- #0.602.
link(109,136) :- #0.368.
link(136,109) :- #0.527.
link(110,118) :- #0.945.
link(118,110) :- #0.462.
link(110,122) :- #0.315.
link(122,110) :- #0.971.
link(110,130) :- #0.982.
link(130,110) :- #0.823.
link(111,134) :- #0.4.
link(134,111) :- #0.283.
link(112,115) :- #0.667.
link(115,112) :- #0.219.
link(112,125) :- #0.527.
link(125,112) :- #0.306.
link(112,139) :- #0.423.
link(139,112) :- #0.17.
link(113,115) :- #0.128.
link(115,113) :- #0.982.
link(113,118) :- #0.381.
link(118,113) :- #0.12.
link(113,119) :- #0.309.
link(119,113) :- #0.616.
link(113,121) :- #0.069.
link(121,113) :- #0.85.
link(113,131) :- #0.32.
link(131,113) :- #0.336.
link(113,132) :- #0.817.
link(132,113) :- #0.924.
link(115,128) :- #0.76.
link(128,115) :- #0.357.
link(115,129) :- #0.744.
link(129,115) :- #0.259.
link(115,132) :- #0.074.
link(132,115) :- #0.732.
link(115,133) :- #0.719.
link(133,115) :- #0.245.
link(115,137) :- #0.888.
link(137,115) :- #0.336.
link(115,140) :- #0.315.
link(140,115) :- #0.888.
link(116,117) :- #0.124.
link(117,116) :- #0.31.
link(116,133) :- #0.211.
link(133,116) :- #0.125.
link(118,122) :- #0.156.
link(122,118) :- #0.051.
link(118,125) :- #0.484.
link(125,118) :- #0.916.
link(119,125) :- #0.267.
link(125,119) :- #0.705.
link(119,136) :- #0.987.
link(136,119) :- #0.182.
link(119,139) :- #0.002.
link(139,119) :- #0.838.
link(120,126) :- #0.601.
link(126,120) :- #0.406.
link(120,132) :- #0.699.
link(132,120) :- #0.399.
link(120,138) :- #0.317.
link(138,120) :- #0.588.
link(121,129) :- #0.096.
link(129,121) :- #0.786.
link(121,134) :- #0.082.
link(134,121) :- #0.349.
link(122,123) :- #0.967.
link(123,122) :- #0.134.
link(122,126) :- #0.654.
link(126,122) :- #0.884.
link(122,130) :- #0.592.
link(130,122) :- #0.937.
link(123,124) :- #0.576.
link(124,123) :- #0.219.
link(123,136) :- #0.557.
link(136,123) :- #0.634.
link(125,130) :- #0.086.
link(130,125) :- #0.911.
link(126,137) :- #0.033.
link(137,126) :- #0.576.
link(127,138) :- #0.676.
link(138,127) :- #0.07.
link(128,131) :- #0.918.
link(131,128) :- #0.964.
link(129,131) :- #0.034.
link(131,129) :- #0.965.
link(129,139) :- #0.911.
link(139,129) :- #0.535.
link(130,131) :- #0.787.
link(131,130) :- #0.706.
link(133,140) :- #0.831.
link(140,133) :- #0.225.
link(137,138) :- #0.321.
link(138,137) :- #0.576.
colour(red0).
colour(green0).
colour(blue0).
colour(yellow0).
colour(cyan0).
